退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:认证树常规模型检查的方程式抽象提炼
Boichut, Yohan; Boyer, Benoit; Genet, Thomas; Legay, Axel;
机译:利用统计模型检查和抽象提炼对生化系统随机模型进行综合和不可行分析
机译:基于游戏的CTL提升模型检查的广义抽象精炼
机译:具有原因指导的抽象细化的三值有界模型检查
机译:用于字级模型检查的高效抽象和改进
机译:偏微分方程并行解的细化树划分
机译:从Simulink / Stateflow模型生成基于反例指导的抽象提炼的测试用例
机译:针对SIMULINK /状态流模型的基于有效分区细化的可达性检查
机译:检查方程式创建支持系统,检查公式创建支持方法和检查方程式创建支持程序
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。